Trellis: autoformalización sencilla de demostraciones rigurosas Descubre Trellis, que usa LLMs para refinar pruebas matemáticas iterativamente y alcanzar demostraciones rigurosas en Lean. 2026-06-09 · 2 min
